nontrivial termination

非平凡终止